|
|
Process algebra for parallel and distributed processing /
Publication:
Boca Raton, FL : CRC Press, 2009
. xxii, 415 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xii, 429 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal method : industrial use from model to the code /
Publication:
London : ISTE, 2012
. xv, 357 p. :
24 cm.
Date:2012
Availability:
Copies available:
AUM Main Library
(1),
|
|